integration of cos(3x) dx